منابع مشابه
IThe theory of optimal reductions
We introduce a new class of higher order rewriting systems, called Interaction Systems (IS's). IS's come from Lafont's (Intuitionistic) Interaction Nets Lafont 1990] by dropping the linearity constraint. In particular, we borrow from Interaction Nets the syntactical bipartitions of operators into constructors and destructors and the principle of binary interaction. As a consequence, IS's are a ...
متن کاملIThe Visual Display of ~ Parallel Performance ~ Data
( performance models. T he primary motivation for using parallel computer systems is their high performance potential, but that potential is notoriously difficult to realize, and users often must analyze and tune parallel program performance. Parallel systems can be instrumented to provide ample feedback on program behavior, but because of the volume and complexity of the resulting performance ...
متن کاملIThe Development of Traffic Engineering in Australia
M cars first appeared on Australian roads in about 1900, and road laws, as they are known today, began to evolve soon after. For several years traffic control in Australia was largely a police responsibility, but by the mid to late 1930sthe principles of traffic engineering, including the need to consider the road, the vehicle, the driver, and the traffic rules as an integrated system, were bei...
متن کاملThe basic geometry of Witt vectors, IThe affine case
We give a concrete description of the category of étale algebras over the ring of Witt vectors of a given finite length with entries in an arbitrary ring. We do this not only for the classical p-typical and big Witt vector functors but also for certain analogues over arbitrary local and global fields. The basic theory of these generalized Witt vectors is developed from the point of view of comm...
متن کاملthe effect of taftan pozzolan on the compressive strength of concrete in the environmental conditions of oman sea (chabahar port)
cement is an essential ingredient in the concrete buildings. for production of cement considerable amount of fossil fuel and electrical energy is consumed. on the other hand for generating one tone of portland cement, nearly one ton of carbon dioxide is released. it shows that 7 percent of the total released carbon dioxide in the world relates to the cement industry. considering ecological issu...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Geological Magazine
سال: 1890
ISSN: 0016-7568,1469-5081
DOI: 10.1017/s0016756800146084